A Tour on Ecumenical Systems

Ecumenism can be understood as a pursuit of unity, where diverse thoughts, ideas, or points of view coexist harmoniously. In logic, ecumenical systems refer, in a broad sense, to proof systems for combining logics. One captivating area of research over the past few decades has been the exploration of seamlessly merging classical and intuitionistic connectives, allowing them to coexist peacefully. In this paper, we will embark on a journey through ecumenical systems, drawing inspiration from Prawitz' seminal work [35]. We will begin by elucidating Prawitz' concept of “ecumenism” and present a pure sequent calculus version of his system. Building upon this foundation, we will expand our discussion to incorporate alethic modalities, leveraging Simpson's meta-logical characterization. This will enable us to propose several proof systems for ecumenical modal logics. We will conclude our tour with some discussion towards a term calculus proposal for the implicational propositional fragment of the ecumenical logic, the quest of automation using a framework based in rewriting logic, and an ecumenical view of proof-theoretic semantics

A Pure View of Ecumenical Modalities

Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion on proof systems for combining logics. This discussion has been extended to alethic modalities using Simpson’s meta-logical characterization: necessity is independent of the viewer, while possibility can be either intuitionistic or classical. In this work, we propose a pure, label free calculus for ecumenical modalities, nEK, where exactly one logical operator figures in introduction rules and every basic object of the calculus can be read as a formula in the language of the ecumenical modal logic EK. We prove that nEK is sound and complete w.r.t. the ecumenical birelational semantics and discuss fragments and extensions

Combined use of O3/H2O2 and O3/Mn2+ in flotation of dairy wastewater

This work investigated the degradation of organic matter present in synthetic dairy wastewater by the combination of ozonation (ozone (O 3 )/hydrogen peroxide (H 2 O 2 )) and catalytic ozonation (ozone (O 3 )/manganese (Mn 2+ )) associated with dispersed air flotation process. The effect of independent factors such as O 3 concentration, pH and H 2 O 2 and Mn 2+ concentration was evaluated. For the flotation/O 3 /H 2 O 2 treatment, the significant variables (p ≤ 0.05) were: O 3 concentration (linear and quadratic effect), H 2 O 2 concentration linear and quadratic effect, pH values (linear and quadratic effect) and interaction O3 concentration versus pH. For catalytic ozonation, it was observed that the significant variable was the linear effect of O 3 concentration. According to the desirability function, it was concluded that the optimal condition for the treatment of flotation/O 3 /H 2 O 2 can be obtained in acidic solution using O3 concentrations greater than 42.9 mg L -1 combined with higher concentrations of H 2 O 2 to 1071.5 mg L -1 . On other hand, at pH values higher than 9.0, the addition of O3 may be neglected when using higher concentrations than 1071.5 mg L -1 of H 2 O 2 . For flotation/ozonation catalyzed by Mn 2+ , it was observed that metal addition did not affect treatment, resulting in an optimum condition: 53.8 mg L -1 of O 3 and pH 3.6

Prostatic Artery Embolization in the Treatment of Benign Prostatic Hyperplasia: Short and Medium Follow-Up

To evaluate the short and mid-term results of prostatic artery embolization in patients with benign prostatic embolization. Retrospective study between March 2009 and June 2011 with 103 patients (mean age 66.8 years, 50-85) that met our inclusion criteria with symptomatic benign prostatic hyperplasia. The clinical outcome was evaluated by the International Prostate Symptom Score (IPSS), quality of life (QoL), International Index of Erectile Function, prostate volume (PV), prostate-specific antigen (PSA), peak urinary flow (Q(max)), and post-void residual volume (PVR) measurements at 3 and 6 months, 1 year, 18 months, and 2 years after PAE and comparison with baseline values was made. Technical and clinical successes, as well as poor clinical outcome definitions, were previously defined. In this review, we evaluate the short and mid-term clinical outcomes and morbidity of patients treated only with non-spherical polyvinyl alcohol. Six months after the procedure, the PV decreased about 23%, IPSS changed to a mean value of 11.95 (almost 50% reduction), the QoL improved slightly more than 2 points, the Q(max) changed to a mean value of 12.63mL/s, the PVR underwent a change of almost half of the baseline value, and the PSA decreased about 2.3ng/mL. In the mid-term follow-up and comparing to the baseline values, we still assisted to a reduction in PV, IPSS, QoL, PVR, and PSA, and an increase in Q(max). Prostatic Artery Embolization is a safe procedure with low morbidity that shows good short- and mid-term clinical outcome in our institution

TRATAMENTO RESTAURADOR ATRAUMÁTICO NA REDE PÚBLICA DO MUNICÍPIO DE ANÁPOLIS-GO

O  tratamento  restaurador  atraumático  (TRA)  é  uma  técnica consiste  na  remoção  de  tecido  cariado,  desmineralizado,  com  instrumentos cortantes  manuais  simplificados  dispensando  o  uso  de  micromotores  e anestesia  local.  Capaz  de  reduzir  a  necessidade  de  procedimentos  mais complexos,  onerosos  e  que  demandam  maior  tempo  de  atuação  profissional, tem  grande  relevância  principalmente  quando  aplicado  simultaneamente  às medidas  de  promoção  de  saúde

Embolisation of Prostatic Arteries as Treatment of Moderate to Severe Lower Urinary Symptoms (LUTS) Secondary to Benign Hyperplasia: Results of Short- and Mid-Term Follow-Up

OBJECTIVES: To evaluate the short- and medium-term results of prostatic arterial embolisation (PAE) for benign prostatic hyperplasia (BPH). METHODS: This was a prospective non-randomised study including 255 patients diagnosed with BPH and moderate to severe lower urinary tract symptoms after failure of medical treatment for at least 6 months. The patients underwent PAE between March 2009 and April 2012. Technical success is when selective prostatic arterial embolisation is completed in at least one pelvic side. Clinical success was defined as improving symptoms and quality of life. Evaluation was performed before PAE and at 1, 3, 6 and every 6 months thereafter with the International Prostate Symptom Score (IPSS), quality of life (QoL), International Index of Erectile Function (IIEF), uroflowmetry, prostatic specific antigen (PSA) and volume. Non-spherical polyvinyl alcohol particles were used. RESULTS: PAE was technically successful in 250 patients (97.9 %). Mean follow-up, in 238 patients, was 10 months (range 1-36). Cumulative rates of clinical success were 81.9 %, 80.7 %, 77.9 %, 75.2 %, 72.0 %, 72.0 %, 72.0 % and 72.0 % at 1, 3, 6, 12, 18, 24, 30 and 36 months, respectively. There was one major complication. CONCLUSIONS: PAE is a procedure with good results for BPH patients with moderate to severe LUTS after failure of medical therapy. KEY POINTS: • Prostatic artery embolisation offers minimally invasive therapy for benign prostatic hyperplasia. • Prostatic artery embolisation is a challenging procedure because of vascular anatomical variations. • PAE is a promising new technique that has shown good results

Decoding negative affect personality trait from patterns of brain activation to threat stimuli

INTRODUCTION: Pattern recognition analysis (PRA) applied to functional magnetic resonance imaging (fMRI) has been used to decode cognitive processes and identify possible biomarkers for mental illness. In the present study, we investigated whether the positive affect (PA) or negative affect (NA) personality traits could be decoded from patterns of brain activation in response to a human threat using a healthy sample. METHODS: fMRI data from 34 volunteers (15 women) were acquired during a simple motor task while the volunteers viewed a set of threat stimuli that were directed either toward them or away from them and matched neutral pictures. For each participant, contrast images from a General Linear Model (GLM) between the threat versus neutral stimuli defined the spatial patterns used as input to the regression model. We applied a multiple kernel learning (MKL) regression combining information from different brain regions hierarchically in a whole brain model to decode the NA and PA from patterns of brain activation in response to threat stimuli. RESULTS: The MKL model was able to decode NA but not PA from the contrast images between threat stimuli directed away versus neutral with a significance above chance. The correlation and the mean squared error (MSE) between predicted and actual NA were 0.52 (p-value=0.01) and 24.43 (p-value=0.01), respectively. The MKL pattern regression model identified a network with 37 regions that contributed to the predictions. Some of the regions were related to perception (e.g., occipital and temporal regions) while others were related to emotional evaluation (e.g., caudate and prefrontal regions). CONCLUSION: These results suggest that there was an interaction between the individuals' NA and the brain response to the threat stimuli directed away, which enabled the MKL model to decode NA from the brain patterns. To our knowledge, this is the first evidence that PRA can be used to decode a personality trait from patterns of brain activation during emotional contexts

Unilateral Versus Bilateral Prostatic Arterial Embolization for Lower Urinary Tract Symptoms in Patients with Prostate Enlargement

PURPOSE: This study was designed to compare baseline data and clinical outcome between patients with prostate enlargement/benign prostatic hyperplasia (PE/BPH) who underwent unilateral and bilateral prostatic arterial embolization (PAE) for the relief of lower urinary tract symptoms (LUTS). METHODS: This single-center, ambispective cohort study compared 122 consecutive patients (mean age 66.7 years) with unilateral versus bilateral PAE from March 2009 to December 2011. Selective PAE was performed with 100- and 200-μm nonspherical polyvinyl alcohol (PVA) particles by a unilateral femoral approach. RESULTS: Bilateral PAE was performed in 103 (84.4 %) patients (group A). The remaining 19 (15.6 %) patients underwent unilateral PAE (group B). Mean follow-up time was 6.7 months in group A and 7.3 months in group B. Mean prostate volume, PSA, International prostate symptom score/quality of life (IPSS/QoL) and post-void residual volume (PVR) reduction, and peak flow rate (Qmax) improvement were 19.4 mL, 1.68 ng/mL, 11.8/2.0 points, 32.9 mL, and 3.9 mL/s in group A and 11.5 mL, 1.98 ng/mL, 8.9/1.4 points, 53.8 mL, and 4.58 mL/s in group B. Poor clinical outcome was observed in 24.3 % of patients from group A and 47.4 % from group B (p = 0.04). CONCLUSIONS: PAE is a safe and effective technique that can induce 48 % improvement in the IPSS score and a prostate volume reduction of 19 %, with good clinical outcome in up to 75 % of treated patients. Bilateral PAE seems to lead to better clinical results; however, up to 50 % of patients after unilateral PAE may have a good clinical outcome

The Percentage of [−2]Pro–Prostate-Specific Antigen and the Prostate Health Index Outperform Prostate-Specific Antigen and the Percentage of Free Prostate-Specific Antigen in the Detection of Clinically Significant Prostate Cancer and Can Be Used as Reflex Tests

Context.—: There is a need to avoid the overdiagnosis of prostate cancer (PCa) and to find more specific biomarkers. Objective.—: To evaluate the clinical utility of [-2]pro-prostate-specific antigen ([-2]proPSA) derivatives in detecting clinically significant PCa (csPCa) and to compare it with prostate-specific antigen (PSA) and with the percentage of free PSA (%fPSA). Design.—: Two hundred thirty-seven men (PSA: 2-10 ng/mL) scheduled for a prostate biopsy were enrolled. Parametric and nonparametric tests, receiver operating characteristic curves, and logistic regression analysis were applied. Outcomes were csPCa and overall PCa. Results.—: Both [-2]proPSA derivatives were significantly higher in csPCa and overall PCa (P < .001). The areas under the curves for the prediction of csPCa were higher for the percentage of [-2]proPSA (%[-2]proPSA) (0.781) and the prostate health index (PHI) (0.814) than for PSA (0.651) and %fPSA (0.724). There was a gain of 11% in diagnostic accuracy when %[-2]proPSA or PHI were added to a base model with PSA and %fPSA. Twenty-five percent to 29% of biopsies could have been spared with %[-2]proPSA (cutoff: ≥1.25%) and PHI (cutoff: ≥27), missing 10% of csPCas. The same results could have been achieved by using [-2]proPSA as a reflex test, when %fPSA was 25% or less (cutoffs: ≥1.12% and ≥24 for %[-2]proPSA and PHI, respectively). Conclusions.—: The [-2]proPSA derivatives improve the diagnostic accuracy of csPCa when the PSA value is between 2 and 10 ng/mL, sparing unnecessary biopsies and selecting patients for active surveillance. [-2]proPSA can be used as a reflex test when %fPSA is 25% or less, without reducing the diagnostic accuracy for csPCa and the number of spared biopsies.info:eu-repo/semantics/publishedVersio